Effectiveness of the representation theory for Boolean algebras
نویسندگان
چکیده
منابع مشابه
The Representation of Boolean Algebras
1. Introduction. In this brief address I shall set myself a twofold aim: to review the theory of Boolean algebras, as we understand it today, and to sketch certain historical phases of its development. Although I am in no sense prepared to offer the fruits of painstaking historical research, I believe that by a few pertinent historical observations I shall be able to bring out the underlying ev...
متن کاملThe Stone Representation Theorem for Boolean Algebras
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean algebra is isomorphic to a field of sets. This paper motivates and presents a proof.
متن کاملThe Theory of Representations for Boolean Algebras*
Boolean algebras are those mathematical systems first developed by George Boole in the treatment of logic by symbolic methodsf and since extensively investigated by other students of logic, including Schröder, Whitehead, Sheffer, Bernstein, and Huntington.J Since they embody in abstract form the principal algebraic rules governing the manipulation of classes or aggregates, these systems are of ...
متن کاملA representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملOn the Representation Theory for Cylindric Algebras
The main purpose of this paper is to give some new sufficient conditions for the representability of infinite dimensional cylindric algebras. We also discuss certain problems and results in the representation theory reported on by Henkin and Tarski in [5]. In general we adopt the notation of [5]. § 1 contains some additional notation, the statement of a representation theorem of Henkin and Tars...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1955
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-41-1-49-56